1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | J8LNKAN8RW/3E7UF2U |
Repositório | dpi.inpe.br/plutao/2013/05.31.17.23.59 |
Última Atualização | 2013:07.15.14.36.34 (UTC) administrator |
Repositório de Metadados | dpi.inpe.br/plutao/2013/05.31.17.24 |
Última Atualização dos Metadados | 2021:02.11.20.56.49 (UTC) administrator |
ISBN | 978-85-7669-274-4 |
Rótulo | lattes: 4522542236886713 2 CassianoFoTikaAmbr:2013:VaSaSp |
Chave de Citação | CassianoFoTikaAmbr:2013:VaSaSp |
Título | Validation of the Satellite Speed Measurement System with the Use of Finite State Machine for Test Case Generation |
Formato | DVD |
Ano | 2013 |
Data de Acesso | 07 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 698 KiB |
|
2. Contextualização | |
Autor | 1 Cassiano Filho, Antonio 2 Tikami, Auro 3 Ambrosio, Ana Maria |
Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JGH7 |
Grupo | 1 2 CSE-ETES-SPG-INPE-MCTI-GOV-BR 3 DSE-ETE-INPE-MCTI-GOV-BR |
Afiliação | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 cassiano.filho@inpe.br 2 auro.tikami@inpe.br 3 ana.ambrosio@inpe.br |
Endereço de e-Mail | auro.tikami@inpe.br |
Nome do Evento | Latin-American Symposium on Dependable Computing, 6 (LADC'2013). |
Localização do Evento | Rio de Janeiro |
Data | 2-5 abr. 2013 |
Páginas | 107-110 |
Título do Livro | Proceedings |
Tipo Terciário | Paper |
Histórico (UTC) | 2013-05-31 17:24:00 :: lattes -> administrator :: 2013-10-14 22:25:35 :: administrator -> marciana :: 2013 2014-01-09 17:16:27 :: marciana -> administrator :: 2013 2021-02-11 20:56:49 :: administrator -> :: 2013 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | Finite State Machine Test Case Generation JPlavisFSM platform satellite system under test Modeling |
Resumo | The area of Model Based Software Testing is of interest to researchers, professional experts in testing and development as well as to the industrial sector. Several test methods are proposed in the literature for the validation of a computational system. This paper presents the experience of using finite-state machine (FSM) to model a system for automatically test generation applied to a software system of the space area. Starting from the functional requirement of the Satellite Speed Measurement (SSM) developed by National Institute for Space Research (INPE), the system behavior is modeled and the JPlavisFSM platform is used to automatically generate test-case sets. This platform provides different FSM based methods for system validation purposes. The test-case sets (each set is resulted from one method) are compared and evaluated according to the cost of generation and their size. The paper also discusses the efficiency of practical application. |
Área | ETES |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Validation of the... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Validation of the... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/J8LNKAN8RW/3E7UF2U |
URL dos dados zipados | http://urlib.net/zip/J8LNKAN8RW/3E7UF2U |
Idioma | en |
Arquivo Alvo | 0030.pdf |
Grupo de Usuários | lattes marcelo.pazos@inpe.br marciana self-uploading-INPE-MCTI-GOV-BR |
Grupo de Leitores | administrator marcelo.pazos@inpe.br marciana |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Vinculação | Trabalho Vinculado à Tese/Dissertação |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/446AUSL |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.14.22.20 1 sid.inpe.br/bibdigital/2021/02.11.20.54 1 |
URL (dados não confiáveis) | http://www.lbd.dcc.ufmg.br/colecoes/ladc/2013/0030.pdf |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Notas | Setores de Atividade: Telecomunicações. |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor issn lineage mark nextedition numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject type volume |
|